$\forall$${\it es}$:ES, $i$:Id, $t$:$\mathbb{Q}$, $s$:es\_state(${\it es}$;$i$). $s$+$t$ $\in$ es\_state(${\it es}$;$i$)